Eugenia Cheng: Distributive Laws For Lawvere Theories